-
1 химически чистый
1. chemically pure2. chemically purely -
2 чистый
1. pure2. purely -
3 чистый
1. pure; cleanчистое и четкое изображение "СЗ" — clean clear coated: ??
2. purelyчистая шерсть, шерсть 100% — pure wool
Русско-английский словарь по информационным технологиям > чистый
-
4 чистый
1. прил. clean, pureчистое и четкое изображение "СЗ" — clean clear coated: ??
2. прил. мат. pure, netСинонимический ряд:1. аккуратно (прил.) аккуратно2. девственно (прил.) девственно; невинно; непорочно; целомудренно3. истинно (прил.) истинно; точно4. незапятнанно (прил.) безукоризненно; безупречно; незапятнанно5. как (проч.) будто; как; как будто; подобно как; подобно тому как; ровно; словно; точно; чтоАнтонимический ряд: -
5 доказательство с чистыми переменными
Mathematics: pure variable proofУниверсальный русско-английский словарь > доказательство с чистыми переменными
См. также в других словарях:
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Host-proof hosting — aims to solve the trust problem faced by web applications: although SSL may protect user data on the wire it provides no guarantee of the privacy of that information once it reaches the server on the other end of the wire. Or, as Richard Schwartz … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium
List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia